1. An Introduction to the Technique of Formative Processes in Set Theory
Author: Cantone, Domenico
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject:
Classification :
G
87
.
S9
2018
2. Computable set theory
Author: Cantone, Domenico
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Set theory,، Computable functions
Classification :
QA
248
.
C26C6
3. Computational Logic and Set Theory
Author: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
Classification :
E-BOOK
4. Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Author: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo (auth.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS&COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
5. Computational logic and set theory
Author: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Set theory
Classification :
E-BOOK
6. Computational logic and set theory
Author: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Set theory.
Classification :
QA
,
248
,.
S364
,
2011
7. Computational logic and set theory :
Author: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Set theory
Classification :
QA248
.
S39
2011eb
8. Computational logic and set theory applying formalized logic to analysis
Author: Schwartz, Jacob T., Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Set theory
Classification :
QA
248
.
S364
2011
9. Set theory for computing : from decision procedures to declarative programming with sets
Author: Cantone, Domenico
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Set theory,، Computable functions
Classification :
QA
248
.
C26S4
